Further Functorial Properties of the Reticulation
نویسنده
چکیده
In this article we prove a set of preservation properties of the reticulation functor for residuated lattices (for instance preservation of subalgebras, finite direct products, inductive limits, Boolean powers) and we transfer certain properties between bounded distributive lattices and residuated lattices through the reticulation, focusing on Stone, strongly Stone and m-Stone algebras. 2000 Mathematics Subject Classification: Primary 03G10, Secondary 06F35.
منابع مشابه
Functorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملThe categories of lattice-valued maps, equalities, free objects, and $mathcal C$-reticulation
In this paper, we study the concept of $mathcal C$-reticulation for the category $mathcal C$ whose objects are lattice-valued maps. The relation between the free objects in $mathcal C$ and the $mathcal C$-reticulation of rings and modules is discussed. Also, a method to construct $mathcal C$-reticulation is presented, in the case where $mathcal C$ is equational. Some relations between the conce...
متن کاملThe Reticulation of a Residuated Lattice
In this paper we define the reticulation of a residuated lattice, prove that it has “good properties“, present two constructions for it, prove its uniqueness up to an isomorphism, define the reticulation functor and give several examples of finite residuated lattices and their reticulations.
متن کاملCharacterization of the Reticulation of a Residuated Lattice
The reticulation of an algebra was first defined for commutative rings by Simmons [19] and it was extended by Belluce to non-commutative rings [3]. As for the algebras of fuzzy logics, Belluce also constructed the reticulation of an MV-algebra [2], G. Georgescu defined the reticulation of a quantale [8] and L. Leuştean made this construction for BL-algebras [13, 14]. In each of the papers cited...
متن کاملIndependent definition of reticulations on residuated lattices
A notion of reticulation which provides topological properties on algebras has introduced on commutative rings in 1980 by Simmons in [5]. For a given commutative ring A, a pair (L, λ) of a bounded distributive lattice and a mapping λ : A → L satisfying some conditions is called a reticulation on A, and the map λ gives a homeomorphism between the topological space Spec(A) consisting of prime fil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Multiple-Valued Logic and Soft Computing
دوره 16 شماره
صفحات -
تاریخ انتشار 2010